" Bengt Nordström" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Advances in natural language processing: 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008: proceedings

Автор: Aarne Ranta, Автор: Bengt Nordström

Размер книги: 7.78 Mb

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Автор: Peter Dybjer, Автор: Bengt Nordström, Автор: Jan Smith

Размер книги: 1.98 Mb

Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Автор: Thierry Coquand, Автор: Peter Dybjer, Автор: Bengt Nordström, Автор: Jan Smith

Размер книги: 1.42 Mb